中华传统行刑文化论纲

中华传统行刑文化是中华传统法律文化的重要组成部分，许多方面表现了中华民族的先进性，蕴含了许多合理因素。包括德主刑辅，宽猛相济的行刑理念；恤刑悯囚的人本传统；法、理、情相统一的行刑策略；引礼入法等。社会主义法治建设应继承和发扬传统行刑文化中的合理成分，树立科学行刑理念，实现和谐行刑。     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

蒸汽动力装置分布式控制系统可靠性设计准则

讨论了为保证蒸汽动力装置分布式控制系统的可靠性所采取的一般技术 ,详细分析了提高蒸汽动力装置分布式控制系统可靠性的一般设计准则 ,包括系统设计的一般要求、计算机的选型、元器件的选择与使用以及抗干扰措施     

关联规则挖掘在发动机故障分析中的应用

大部分关联规则挖掘算法仅以出现频率作为阈值来产生关联规则,然而在发动机故障数据分析领域,很多关键故障的出现机率较低,采用传统的挖掘算法无法适应航空发动机故障分析的需要.提出一种新算法,称为权重式多重支持度关联规则挖掘算法,此算法可针对不同重要度的故障定出不同的支持度阈值,由此产生的关联规则,可以解决高重要度但出现较少的故障不易被挖掘的问题.     

Conceptualizing caveats for political research: Defining and measuring national reservations on the use of force during multinational military operations

The upsurge in post-Cold War coalition operations has stimulated research on caveats: national reservations on the use of force in multinational military operations. However, because the concept of caveats has no agreed-upon definition, it is used inconsistently. This in turn impedes comparing research findings across academic and policy studies and therefore systematic research. This article is a contribution to the scholarly debate on how the analytical concept of caveats are to be delimited. Crucially, we argue that caveats result from some calculated political decision, and should not be confused with reserved behavior due to financial and technical limitations, or lack of coordination. We suggest that caveats are empirically observed and measured in two ways: First, we argue that coalition rules of engagement should be used as a yardstick for measuring direct reservations on the use of force. Second, we suggest reservations on task-assignment and geographical mobility should be used to register indirect reservations.     

多模块ROP碎片化自动布局方法

返回导向式编程(Return Oriented Programming, ROP)是一种可有效绕过数据执行保护机制的技术。ROP通过搜索内存代码区中合适的汇编指令片段,可组成一段执行特定功能的程序。已有的ROP自动构造技术只考虑ROP链的功能实现,而忽视了ROP链布局对程序内存可控性的要求,导致自动生成的ROP链实用性低。为解决该问题,提出了一种基于符号执行的多模块ROP碎片化自动布局方法。该方法在ROP自动构造Q框架的基础上,以模块为单位对ROP链进行切片;使用符号执行工具S2E,对控制流劫持状态下的程序内存状态进行动态分析;为各ROP模块匹配相应的可控内存区域,构造碎片化布局的ROP链。实验证明,相比已有技术,该方法生成的ROP链有效降低了对程序内存可控性的要求。